3

The additive multiboxes

Lorenzo Tortora de Falco
Journal:
Annals of Pure and Applied Logic
Year:
2003
Language:
english
File:
PDF, 413 KB
english, 2003
6

Strong normalization property for second order linear logic

Michele Pagani, Lorenzo Tortora de Falco
Journal:
Theoretical Computer Science
Year:
2010
Language:
english
File:
PDF, 4.08 MB
english, 2010
9

[UNITEXT] Logica Volume 80 ||

Abrusci, Vito Michele, de Falco, Lorenzo Tortora
Year:
2014
Language:
italian
File:
PDF, 1.16 MB
italian, 2014
10

Obsessional experiments for linear logic proof-nets

de FALCO, LORENZO TORTORA
Journal:
Mathematical Structures in Computer Science
Year:
2003
Language:
english
File:
PDF, 657 KB
english, 2003
11

An abstract approach to stratification in linear logic

Boudes, Pierre, Mazza, Damiano, Tortora de Falco, Lorenzo
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 938 KB
english, 2015
13

A semantic account of strong normalization in linear logic

de Carvalho, Daniel, Tortora de Falco, Lorenzo
Journal:
Information and Computation
Year:
2016
Language:
english
File:
PDF, 825 KB
english, 2016